Robert Kowalski - PDFSEARCH.IO - Document Search Engine

Robert Kowalski
Results: 31

#	Item
21	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-14 05:21:07 Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic Philosophical logic Philosophy of language
22	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
23	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
24	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
25	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
26	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming
27	1 CURRICULUM VITAE Septem ber 2013 ROBERT AN THON Y KOWALSKI Distinguished Research Fellow Em eritus Professor of Com putational Logic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-08-27 06:03:13 Logic Philosophy of mathematics Keith Clark Academia Knowledge Science Abstraction Axiology
28	LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-12-18 05:34:05 Theoretical computer science Rules of inference Automated theorem proving Predicate logic Programming paradigms Resolution Horn clause Prolog Clause Logic programming Logic Mathematical logic
29	mWuDI?D(SD&D:, D~urnD:,D:,D@rn~@~ ~rnwDrn~ 7 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-20 05:56:19 Rules of inference Logic programming Automated theorem proving And–or tree Algorithm Prolog Robert Kowalski Horn clause First-order logic Logic Mathematics Mathematical logic
30	Simply Logical Intelligent Reasoning by Example Peter Flach University of Bristol, United Kingdom Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-10-02 07:09:20 Reasoning Logic programming Prolog Logic Reason Robert Kowalski Reasoning system Inference Science Software engineering Knowledge

UPDATE